K. Gödel; "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I." - Internet Explorer 2.0

K. Gödel; "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I."

正確なタイトルは

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

?

翻訳は林晋, 八杉満利子『ゲーデル不完全性定理』にある．

Gödelの不完全性定理，

特にGödelの第1不完全性定理が詳細に書かれている．

Gödelの第2不完全性定理に関しては証明のスケッチだけが書かれているらしい